Add workspace handling to the window menu
authorMatthias Clasen <mclasen@redhat.com>
Sat, 24 Aug 2013 04:52:31 +0000 (00:52 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 24 Aug 2013 04:53:00 +0000 (00:53 -0400)
commit7e4bcf9102903fec445a424fb6e1d974ab191dac
treeea20243981f3609e1d7441cf15d87a49b03b3472
parent13f6552a7ea771638240f394c495c977e33533d0
Add workspace handling to the window menu

The reimplements the current mutter window menu for
workspace changes.

https://bugzilla.gnome.org/show_bug.cgi?id=706323
gtk/gtkwindow.c